Interactive Generalized Semi-Markov Processes
نویسندگان
چکیده
We have previously introduced Generalized Semi-Markovian Process Algebra (GSMPA), a process algebra based on ST semantics which is capable of expressing durational actions, where durations are expressed by general probability distributions. In this paper we introduce the calculus of Interactive Generalized Semi-Markov Processes (IGSMP), a variant of GSMPA where synchronizable actions are restricted to have zero duration and which introduces the new possibility of expressing priority and non-determinism. The restriction to IGSMP allows us to introduce a notion of observational congruence that abstracts from internal actions with zero duration. Moreover we use a new technique for expressing ST semantics that allows to deene observational congruence over IGSMP as a combination of standard observational congruence and probabilistic bisimulation. Finally we present a complete axiomatization for observational congruence over IGSMP.
منابع مشابه
The theory of interactive generalized semi-Markov processes
In this paper we introduce the calculus of interactive generalized semi-Markov processes (IGSMPs), a stochastic process algebra which can express probabilistic timed delays with general distributions and synchronizable actions with zero duration, and where choices may be probabilistic, non-deterministic and prioritized. IGSMP is equipped with a structural operational semantics which generates s...
متن کاملContinuity of Generalized Semi-Markov Processes
It is shown that sequences of generalized semi-Markov processes converge in the sense of weak convergence of random functions if associated sequences of defining elements (initial distributions, transition functions and clock time distributions) converge. This continuity or stability is used to obtain information about invariant probability measures. It is shown that there exists an invariant p...
متن کاملSolving Generalized Semi-Markov Processes using Continuous Phase-Type Distributions
We introduce the generalized semi-Markov decision process (GSMDP) as an extension of continuous-time MDPs and semi-Markov decision processes (SMDPs) for modeling stochastic decision processes with asynchronous events and actions. Using phase-type distributions and uniformization, we show how an arbitrary GSMDP can be approximated by a discrete-time MDP, which can then be solved using existing M...
متن کاملSolving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions
We introduce the generalized semi-Markov decision process (GSMDP) as an extension of continuous-time MDPs and semi-Markov decision processes (SMDPs) for modeling stochastic decision processes with asynchronous events and actions. Using phase-type distributions and uniformization, we show how an arbitrary GSMDP can be approximated by a discrete-time MDP, which can then be solved using existing M...
متن کامل